Abstract logic - PDFSEARCH.IO - Document Search Engine

Abstract logic
Results: 1693

#	Item
111	Revisiting the Ontological Square Luc SCHNEIDER 1 , Institute for Formal Ontology and Medical Information Science, Universität des Saarlandes, Saarbrücken, Germany Abstract. Considerations regarding predication in ordi Add to Reading List Source URL: ifomis.uni-saarland.de Language: English - Date: 2014-05-09 08:16:43 Logic Mathematical logic Model theory Metalogic Interpretation Philosophy of mind Semantics First-order logic Constructible universe Linear temporal logic operator
112	Large-scale Interactive Ontology Matching: Algorithms and Implementation Ernesto Jim´enez-Ruiz and Bernardo Cuenca Grau and Yujiao Zhou and Ian Horrocks1 Abstract. In this paper we present the ontology matching system L Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2015-10-05 08:25:51 Ontology Information science Semantic Web Information Knowledge engineering Computing Knowledge representation Upper ontology Web Ontology Language Schema matching Semantic similarity Description logic
113	The Ties That Bind—A Simulation of Domestic and International Politics Abstract: Scholarship in the discipline recognizes that there are important links between domestic and international politics. Moreover, whether ex Add to Reading List Source URL: www.caseydelehanty.com Language: English - Date: 2015-07-22 12:17:59 Education Economy Business Business software Management education Simulation software Operations research Simulation Electronic design automation Training simulation Scientific modelling Logic simulation
114	cs281: Computer Organization Lab2 Prelab The purpose of this prelab is to introduce some of the fundamentals of Combinational Logic Design, preparing us for using the breadboards to build circuits designed in this Prela Add to Reading List Source URL: personal.denison.edu Language: English - Date: 2015-11-10 08:26:31 Boolean algebra Algebra Mathematics Abstract algebra Boolean Canonical normal form Truth table Logical disjunction Combinational logic Logic gate Boolean algebras canonically defined Karnaugh map
115	No complete linear term rewriting system for propositional logic Anupam Das and Lutz Straßburger Abstract Recently it has been observed that the set of all sound linear inference rules in propositional Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2015-03-23 07:14:32 Mathematics Logic Mathematical logic Boolean algebra Formal languages Semantics Algebraic logic Logic in computer science Substitution Propositional calculus Rewriting Negation
116	A Unified Framework for Human-Robot Knowledge Transfer Nishant Shukla, Caiming Xiong and Song-Chun Zhu Center for Vision, Cognition, Learning and Autonomy University of California, Los Angeles, USA Abstract Add to Reading List Source URL: shukla.io Language: English - Date: 2015-09-05 12:28:33 Logic Philosophy Reasoning Epistemology Robotics Causality Conditionals Philosophy of science Knowledge Inference Humanrobot interaction Machine learning
117	Proof Assistants and the Dynamic Nature of Formal Theories Robert L. Constable Cornell University Abstract Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2012-06-04 13:35:50 Mathematical logic Logic Automated theorem proving Proof assistants Theoretical computer science Logic in computer science Abstraction Nuprl Constructivism Type theory Mathematical proof Robert Lee Constable
118	Optimising Ontology Classification Birte Glimm, Ian Horrocks, Boris Motik, and Giorgos Stoilos Oxford University Computing Laboratory, UK Abstract. Ontology classification—the computation of subsumption hierarchies for Add to Reading List Source URL: www.hermit-reasoner.com Language: English - Date: 2012-02-03 12:06:02 Information science Semantic Web Computing Information Cognitive science Resource Description Framework Web Ontology Language Knowledge representation Description logic Algorithm Ontology
119	Approximating Fixation Probabilities in the Generalized Moran Process∗ Josep D´ıaz†, Leslie Ann Goldberg‡, George B. Mertzios§, David Richerby‡, Maria Serna† and Paul G. Spirakis¶ Abstract Add to Reading List Source URL: community.dur.ac.uk Language: English - Date: 2012-11-17 17:59:55 Graph theory Mathematics Discrete mathematics Degree Graph Random graph Evolutionary graph theory Logic of graphs
120	A Mathematical-Algorithmic Approach to Sets: A Case Study Judith Gal-Ezer1 Orna Lichtenstein2 April 1996 Abstract The aim of this paper is to show, by means of a mathematical example, how Add to Reading List Source URL: www.openu.ac.il Language: English - Date: 2004-09-27 01:19:28 Mathematics Mathematical logic Science and technology Theoretical computer science Algorithm Computational complexity theory Mathematical optimization Word problem Algorithm characterizations

UPDATE